d | ρ | Label | ID | ||
---|---|---|---|---|---|
D5xC23:C4 | 40 | 8+ | D5xC2^3:C4 | 320,370 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5:(C23:C4) = (C2xD4):7F5 | φ: C23:C4/C2xD4 → C2 ⊆ Out D5 | 40 | 8+ | D5:(C2^3:C4) | 320,1108 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.(C23:C4) = (C22xF5):C4 | φ: C23:C4/C22:C4 → C2 ⊆ Out D5 | 40 | 8+ | D5.(C2^3:C4) | 320,204 |